图计算加速器中稀疏向量比较单元的设计与实现

绝大多数图计算应用都可以映射为稀疏矩阵和向量运算,稀疏向量的比较运算是稀疏矩阵向量运算的计算瓶颈,为解决图计算加速器中稀疏矩阵列向量比较问题,设计一种稀疏向量比较运算电路,主要包括64个比较运算电路和一个共享存储单元.基于Verilog HDL语言完成电路设计,以SNAP(Stanford Network Analysis Project)上的Flickr数据集为例,在ModelSim SE-6410.1 c完成验证工作,采用Xilinx公司的ISE开发环境对硬件电路进行综合,实验结果表明,该电路的工作频率可以达到264 MHz.     

An Empirical Comparison Between Tutorials and Crowd Documentation of Application Programming Interface

API (application programming interface) documentation is critical for developers to learn APIs. However, it is unclear whether API documentation indeed improves the API learnability for developers. In this paper, we focus on two types of API documentation, i.e., official API tutorials and API crowd documentation. First, we analyze API coverage and check API consistencies in API documentation based on the API traceability. Then, we conduct a survey and extract several characteristics to analyze which API documentation can help developers learn APIs. Our findings show that: 1) API crowd documentation can be regarded as a supplement to the official API tutorials to some extent;2) the concerns for frequently-used APIs between different types of API documentation show a huge mismatch, which may prevent developers from deeply understanding the usages of APIs through only one type of API documentation;3) official API tutorials can help developers seek API information on a long page and API crowd documentation could provide long codes for a particular programming task. These findings may help developers select the suitable API documentation and find the useful information they need.     

面向智能合约漏洞检测的改进符号执行研究

由于区块链不可窜改的特性,部署到区块链上的智能合约不可更改.为了提高合约的安全性,防止智能合约出现整数溢出、短地址攻击、伪随机等问题,在合约部署之前需对合约进行漏洞检测.针对智能合约的整数溢出漏洞利用符号执行进行分析研究,对现有符号执行方法进行调查发现检测速度较慢,从而提出一种自底向上求解约束的改进符号执行方法,并结合深度优先与广度优先进行路径选择从而提高符号执行的代码覆盖率.实验结果表明,改进符号执行在选取的100份含溢出漏洞的智能合约中检测正确率达84％,平均检测效率提高了20％,在中等规模智能合约中检测效率提升显著,检测结果正确率较高.     

基于半经典量子傅里叶变换的◢t◣-比特半经典相位估计算法实现

半经典量子傅里叶变换(quantum Fourier transform,QFT)是通过测量计算线路中特定的比特,依据测量结果经过经典信息处理控制下一个比特的变换.利用半经典量子傅里叶变换思想,提出了t-比特半经典量子相位估计算法,并在IBMQ Experience量子云平台、IBMqiskit量子模拟器和国内本源悟源云平台量子模拟器上开展了不同规模的半经典相位估计实验.实验表明,该方法提高了估计精度的同时减少了算法对线路规模和两比特受控门的依赖.     

基于多尺度特征融合双U型皮肤病变分割算法

针对皮肤病分割问题中皮肤病变区域大小不一且形状各异问题,提出一种基于多尺度特征融合的双U型皮肤病分割算法.该算法由粗分U型网络和细分U型网络两部分组成.首先粗分U型网络编码部分采用预训练VGG-19模型对相关特征进行多尺度特征提取;在解码阶段利用改进注意力残差块将底层与高层信息进行有效的映射融合,得到初步的Mask;然后将初步生成的Mask与原图像聚合,并输入多路特征提取编码器中进行二次特征蒸馏;而细分U型网络解码器同时与粗分U型网络编码部分和细分U型网络的编码部分特征映射进行融合,保证网络可以聚合更多的有效特征;最后利用Focal Tversky损失函数进一步提升分割效果.实验表明,所提算法在ISBI2016数据集上实验分割精度为96.11％、敏感度为93.59％、特异性为97.10％、Dice系数为93.14％、Jaccard系数为87.17％,能够有效地分割皮肤病病变区域.     

基于区块链的侦查机器人实时避障与航线控制

为弥补侦查机器人行进灵活性不足的缺陷,降低无故运动碰撞事件的发生几率,提出基于区块链的侦查机器人实时避障与航线控制算法;利用超声信号处理电路,提取可供直接应用的侦查运动节点,联合已完成配置的MoveIt避障程序,实现对侦查机器人的实时避障运动规划;在此基础上,设置LQR控制器,在控制机器人侦查航速的同时,建立必要运动操纵方程,完成对侦查机器人的运动航线控制,提升与运动设备元件相关的行进灵活性;完善P2P网络平台,以待交互的运动数据作为处理支持条件,将所有侦查信息封装至同一区块组织中,完成基于区块链的避障控制原理研究,实现侦查机器人实时避障与航线控制算法的搭建;对比实验结果表明,应用基于区块链的控制算法后,C-Space参数极值超过8.0,RRT灵敏度也提升至75%,实现了对侦查机器人的灵活性行进控制,有效抑制了无故运动碰撞事件的出现。     

基于扩张状态观测器的反馈线性化无人飞行器姿态控制

随着集成电子等技术逐渐成熟,无人飞行器得到了广泛的关注和应用;其中,由于飞行器在飞行阶段具有高响应速度、耦合动力学和非线性等特点,使其在飞行阶段的姿态控制成为该领域重点研究的方向之一;针对该研究方向,文章提出了一种基于反步法技术的反馈线性化无人飞行器姿态跟踪控制方案来解决其在受到环境干扰的条件下可以精准跟踪姿态角度的问题;在该方法中,设计了反步法技术拆分简化模型和反馈线性化减少调节参数,并利用扩张状态观测器(ESO)来对扰动进行估计和补偿,同时给出了ESO的收敛性和闭环系统的稳定性来证明该方法的可实施性;最后给出了仿真结果,验证了该方法在干扰的环境下仍可以精准控制无人飞行器姿态。     

机载显控设备测试性设计

机载显控设备作为人机交互终端,具有数据处理及与人交互的工作特点,采用传统BIT(机内测试)测试性设计方法,故障检测率指标难以满足用户要求;根据其设备组成和主要功能,结合FMECA(失效模式影响及危害度分析)分析结果,提出BIT检测与人工检测相结合的方式开展测试性设计,通过TADS软件建立设备测试性模型并进行了计算和分析,设备故障检测率由74.72%有效提高到93.26%,以较小代价实现了用户要求;为其他人机交互机载设备测试性设计提供参考,具有较好的工程实用价值。     

计算机网络与商务英语教学整合模式探讨

随着经济以及科技的高速发展,国际之间的交流和合作越来越频繁。在商务英语教学中,教师不能仅仅简单地为学生讲述理论性的知识,还需要为学生提供更多的实践机会,同时借助计算机网络技术,拓展学生的英语视野,不断夯实学生的英语水平。本文探究了计算机网络应用在商务英语中的重要性,并提出了计算机网络和商务英语整合的相关对策,以便强化商务英语的教学效率。     

Synthesis and characterization of triangular-pyramidal bismuth oxide via a one-step chemical precipitation route

Triangular-pyramidal ω-Bi_2O_3 is successfully synthesized via a one-step wet-chemical method.XRD,SEM,and UV-vis have been employed to characterize the as-prepared samples.Structural characterization by XRD confirms the formation of triclinic ω-Bi_2O_3 with high purity.The well-defined flowerlike Bi_2O_3 structures consisted of many triangular-pyramids are formed.Preparative parameters,such as concentration of PEG 6000,have great effects on the morphology and the particle size.The obvious absorption edge for ω-Bi_2O_3 powder is located at about 493 nm,which corresponds to the optical band gap energy of2.73 eV.